Toward Model Theory with Data Values
نویسندگان
چکیده
We define a variant of first-order logic that deals with data words, data trees, data graphs etc. The definition of the logic is based on Fraenkel-Mostowski sets (FM sets, also known as nominal sets). The key idea is that we allow infinite disjunction (and conjunction), as long as the set of disjuncts (conjunct) is finite modulo renaming of data values. We study model theory for this logic; in particular we prove that the infinite disjunction can be eliminated from formulas.
منابع مشابه
Kurdistan between Modernism and Tradition (Case of Study: Mukerian)
During last century and in a period of time called modern history of middle east, we have seen different changes in life of urban communities as whole, and urban and rural of the mentioned region in particular. The range and power of such changes has been in such a level that we can claim: it has changed the “life world” of people noticeably. Among all parts of the region our field study (Iran’...
متن کاملThermoelastic Damping and Frequency Shift in Kirchhoff Plate Resonators Based on Modified Couple Stress Theory With Dual-Phase-Lag Model
The present investigation deals with study of thermoelastic damping and frequency shift of Kirchhoff plate resonators by using generalized thermoelasticity theory of dual-phase-lag model. The basic equations of motion and heat conduction equation are written with the help of Kirchhoff-Love plate theory and dual phase lag model. The analytical expressions for thermoelastic damping and frequency ...
متن کاملExperiences and challenges of girls with a history of cohabitation
Background The process of modernization and globalization and changes in the value system have gradually given rise to new and unusual patterns of relationships among some Iranian youth. One of the most extreme forms of premarital relationships is the emergence of cohabitation patterns. A model of a relationship that has deep Western roots, stemming from social and economic developments, espe...
متن کاملExperiences and challenges of girls with a history of cohabitation
Background The process of modernization and globalization and changes in the value system have gradually given rise to new and unusual patterns of relationships among some Iranian youth. One of the most extreme forms of premarital relationships is the emergence of cohabitation patterns. A model of a relationship that has deep Western roots, stemming from social and economic developments, espe...
متن کاملA Study on the Different Effect of Religiosity in General and Private Spheres of Life
Some researchers based on the distinction theory, believe that religious influence on other spheres of social life reduce and in spite of traditional life spheres lead by a set of its values, not by a coherent unit and driven by fragmentation theory of values. The effect of religion on public life and private areas such as work and family over the area of public policy is effective. The relat...
متن کاملSociological Analysis of Impressments of Modern Factors on Religious Values in Rural Kurdistan
This research has been done during two years and with studying and consistent referring to almost thirty villages of region called” Mukerian” located in south of west Azarbaijan Iran. Data’s of this research considering socio-cultural peculiarities of studied rural by using qualitative methods and grounded theory and applying techniques like; deep interviews, oral history and field participatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012